<?php
declare (strict_types = 1);
function getBigName(float $height=1.63)
{
    return "中国-" . $height;
}
echo getBigName(33);
